专题研究N：2024年融资区块链项目研究Pi Squared

按：融资的项目作一个专题研究：1、融资了，说明得到资本界看好，可能是一个好的方向和项目；2、通过研究它们，可以了解外界或圈内人对这个行业的判断，是一种研究区块链发展趋势的捷径和正确的路；3、之前的区块链人物、项目系列研究也基本是追一些热点或按版块研究，已有1000期；基本也将常见的项目和区块链人物研究的差不多；正好可以告一段落（前期落下的一些已计划的还要继续，在1000期以内）；4、基于推特是目前区块链信息最集中和更新快的平台，还依托于此来研究相应的融资项目。5、2024年2月份，硬盘损坏；前期约有3600期（已发布约2000期）资料丢失；现未再续编号。

PANews 7月2日消息，据CoinDesk报道，Pi Squared是一家利用零知识技术实现可验证计算的公司，宣布在由Polychain Capital领投的种子轮融资中筹集了1250万美元。参与此轮融资的还有ABCDE、Bloccelerate、Generative Ventures、Robot Ventures和Samsung Next，以及包括以太坊基金会的Justin Drake和EigenLayer创始人Sreeram Kanaan在内的天使投资者。
Pi Squared由伊利诺伊大学厄巴纳-香槟分校的计算机科学教授Grigore Rosu领导。公司计划利用新资金扩展其产品。Pi Squared的首个产品是“通用结算层”，可以用任何编程语言结算区块链交易。Rosu表示，公司还在开发“通用零知识电路”，这将通过零知识技术实现“无信任的远程计算、AI和任何区块链或dApp的可互操作智能合约”。该项目预计将在2024年底进入测试网阶段。

Pi Squared_Official
，
@Pi_Squared_Pi2，
Official account for Pi Squared Inc. We are creating the ultimate Universal Settlement Layer. http://pi2.network，
Worldwide，2024年3月加入，
34 正在关注，
2,233 关注者，

已置顶：一切伟大都始于愿景。Pi^2 的愿景是，我们应该验证数学证明，而不是临时计算。一切真理都离不开数学证明，因此验证数学，就等于验证一切：计算、知识、科学。上午2:11 · 2024年8月8日
·

当然！各种安全审计（从测试套件通过到全面程序验证）与 Pi^2 的结合非常自然。是时候结束以 Readme 或 PDF 文件形式呈现的审计了：不要阅读并信任，而要验证！下午11:40 · 2024年8月6日

我们的团队非常高兴地欢迎来自
@DelphinusLab
zkWASM 团队成为合作伙伴。
Pi Squared 将把 zkWASM 证明与我们的通用结算层 (USL) 集成在一起。因此，zkWASM 证明框架将可供使用多种编程语言编写的 dApp 访问。

感谢
@ABCDELabs
对我们 CEO
@RosuGrigore
的支持，以及我们将任何编程语言带给#Web3的使命！

我们十月份要去
@Permissionless
！
欢迎来到我们的展位，了解有关我们正在构建的内容的更多信息，以及如何使用 Rust、Python 和其他多种编程语言为#Web3中的任何区块链进行构建。
想加入我们并节省 15% 吗？使用下面的促销代码！
感谢
@blockworks
和
@bankless
举办这场精彩的活动！

我们非常高兴地宣布与
@0xSoulProtocol
建立新的合作伙伴关系，这是一支才华横溢的团队，我们非常了解他们在
@HatomProtocol
是
@MultiversX
生态系统中的领先项目。Pi Squared 和 Soul 将共同合作开展跨链借贷，以期在我们的通用结算层 (USL) 上结算交易。此外，我们的团队将探索通过活动、黑客马拉松和各种交叉推广方式共同推进更大的#Web3使命的方法。我们走吧！

回顾我们在布鲁塞尔
@HouseofZK
举行的“证明服务：集中式与分散式”小组讨论
@EthCC
⚡️

再次感谢我们出色的小组成员：
@roshanrags
来自
@MarlinProtocol
，
@NorbertVadas
来自
@gevulot_network
，
@nickpann
来自
@SindriLabs
，
@yanliu0xzz
来自
@Pi_Squared_Pi2
，
@omersadika
来自
@dWalletNetwork
，以及小组主持人
@pavel_sinel
来自
@ProjectZKM
🤝

前往
@EDCON2024
？与我们的生态系统负责人
@UBAmain
会面，详细了解我们如何让任何开发人员能够更轻松地使用任何编程语言在#Web3中进行构建。

在我们的第一篇博客文章中，我们的创始人兼首席执行官
@RosuGrigore
定义了 Pi Squared 的愿景。他解释了 Proof of Proof 将如何彻底改变可验证计算，以及我们的通用结算层将如何使开发人员能够跨任何区块链虚拟机或编程语言构建可互操作的智能合约。
https://blog.pi2.network/pi-squared-the-next-generation-of-verifiable-computing/

创新“证明之证明”概念背后的协议
@Pi_Squared_Pi2
筹集了 1250 万美元的种子轮融资

@EthCC
由
@ethereum
和
@Pi_Squared_Pi2

@alexanderlhicks
主持的午餐会讨论以太坊基金会将如何提供#grants和#bounties来进行正式验证#zkEVMs

@RosuGrigore

@Pi_Squared_Pi2

@the_matter_labs

@CommonPrefix

@RiscZero

@trailofbits

@rv_inc

@Consensys

@VeridiseInc

@0xPolygon

我们如何才能改善#rollups和#blockchains之间的互操作性？
我们的首席执行官
@RosuGrigore
- “让开发人员选择他们喜欢使用的编程语言”
感谢来自
@zetablockchain

@0xMantle

@taikoxyz

@MorphL2
小组成员和来自
@caladanxyz
的主持人
@curiouszoo
)

今天 17:00，听听我们的创始人兼首席执行官
@RosuGrigore
的演讲。在 L2con
@EthCC
边会上了解我们如何加速模块化区块链空间的发展。
注册： https://t.ly/ym3t9,
@zetablockchain

@epicweb3

@0xMantle

@MorphL2

@taiko

看到这一毕生的信念离现实又近了一步，我感到无比兴奋！我感谢我们的投资者、天使、出色的
@Pi_Squared_Pi2
和
@rv_inc
团队和顾问，以及我的
@cse_uiuc
学生和同事，感谢他们共同帮助改变世界！

很荣幸能够支持
@Pi_Squared_Pi2
的第一轮，第一个通用验证的计算层以及
@RosuGrigore
教授多年研究愿景的体现。

很高兴支持 Pi Squared！
@rosugrigore
是我所知道的该领域最好的构建者之一。我在攻读编程语言博士期间读过他的论文。我在
@Algorand
工作期间了解到他的高质量审计工作。期待 Pi^2 的构建。

对所有语言的通用验证计算感兴趣？来 EthCC 和我们聊聊吧！
@Pi_Squared_Pi2

热烈祝贺
@RosuGrigore
和
@Pi_Squared_Pi2
。Pi_squared 正在开发“通用结算层”，以结算任何语言的区块链交易。我们很自豪能与一家在 web3 中产生重大影响的公司合作！ 🌐✨
不熟悉 USL？了解更多👇

恭喜
@Pi_Squared_Pi2
团队！又一项伟大工作的开始！ 🔥
Math Proof + zk Proof 将会展现出强大的能力。 🔥教授
@RosuGrigore
是业内最勤奋、最聪明、最领先的研究人员之一。我们充分了解在他的领导下 RV 团队所做的扎实工作。很荣幸能在这一轮中支持他们！

很荣幸成为
@Pi_Squared_Pi2
出色团队的首轮支持者。迫不及待地想看看你们接下来会推出什么！

很高兴地宣布我们已获得 1250 万美元的种子资金，用于为所有人构建通用验证计算！

感谢我们的主投资者
@polychain
以及
@ABCDELabs
、
@bloccelerate
、
@genventurecap
、
@robotventures
和
@SamsungNext
对我们的支持！

我们还要大声感谢我们的一些天使投资人
@shumochu
、Harish Devarajan、
@drakefjustin
、
@sreeramkannan
、
@kiss_computers
、
@gpl_94
、
@yilongl_megaeth
、
@cjliu49
、
@lucianmincu
、Karthik Raju 和
@CommonPrefix

我们很高兴能与
@RosuGrigore
领导的优秀团队合作
我们认识 Grigore 多年，并很高兴在 BCVC 的几次活动中邀请他作为演讲者。Grigore 和 pi^2 团队的深度思考和研究能力令我们惊叹不已。